axiomatization相关论文
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
公理化方法是演绎科学的方法,但其基本精神早已渗透到经验科学.如何从科学方法论和科学认识论的角度对此作深入而系统的探讨,是当......
为采用定理证明的方法对并发及交互式系统进行验证，研究了有穷论域下有穷时间一阶投影时序逻辑（projection temporal logic，简称PTL）的......
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重......
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,......
为有效实施在轨组装服务,将公理化设计理论引入可在轨组装飞行器的总体设计,给出了一种基于功能需求的结构化设计方法。基于对组装......
为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统．利用投影时序逻辑既可描述待验证系统性质和......
